#include <linux/sched.h>
#include <linux/thread_info.h>
#include <linux/nsproxy.h>

#ifndef CONFIG_INIT_TASK_PRIO
#define CONFIG_INIT_TASK_PRIO DEFAULT_PRIO
#endif

static struct nsproxy init_nsproxy = {

};

long init_stack[THREAD_SIZE/sizeof(long)];

struct task_struct init_task = {
    .stack = init_stack,
    .prio = CONFIG_INIT_TASK_PRIO,
    .normal_prio = CONFIG_INIT_TASK_PRIO,
    .nsproxy = &init_nsproxy,
    .name = {"idle0"},
};
